Quasi-Metrics and Fixed Points in Computing
نویسنده
چکیده
We consider quasi-metrics as a technical tool for use in theoretical computer science. In particular, we discuss their use in nding xed points of operators arising in programming language semantics, especially those arising in logic programming .
منابع مشابه
A RESULT ON FIXED POINTS FOR WEAKLY QUASI-CONTRACTION MAPS IN METRIC SPACES
In this paper, we give a new fixed point theorem forWeakly quasi-contraction maps in metric spaces. Our results extend and improve some fixed point and theorems in literature.
متن کاملSome Fixed Point Theorems in Generalized Metric Spaces Endowed with Vector-valued Metrics and Application in Linear and Nonlinear Matrix Equations
Let $mathcal{X}$ be a partially ordered set and $d$ be a generalized metric on $mathcal{X}$. We obtain some results in coupled and coupled coincidence of $g$-monotone functions on $mathcal{X}$, where $g$ is a function from $mathcal{X}$ into itself. Moreover, we show that a nonexpansive mapping on a partially ordered Hilbert space has a fixed point lying in the unit ball of the Hilbert space. ...
متن کاملFixed points of weak $psi$-quasi contractions in generalized metric spaces
In this paper, we introduce the notion of weak $psi$-quasi contraction in generalized metric spaces and using this notion we obtain conditions for the existence of fixed points of a self map in $D$-complete generalized metric spaces. We deduce some corollaries from our result and provide examples in support of our main result.
متن کاملA new one-step iterative process for approximating common fixed points of a countable family of quasi-nonexpansive multi-valued mappings in CAT(0) spaces
In this paper, we propose a new one-step iterative process for a countable family of quasi-nonexpansive multi-valued mappings in a CAT(0) space. We also prove strong and $Delta$-convergence theorems of the proposed iterative process under some control conditions. Our main results extend and generalize many results in the literature.
متن کاملCommon fixed points of a finite family of multivalued quasi-nonexpansive mappings in uniformly convex Banach spaces
In this paper, we introduce a one-step iterative scheme for finding a common fixed point of a finite family of multivalued quasi-nonexpansive mappings in a real uniformly convex Banach space. We establish weak and strong convergence theorems of the propose iterative scheme under some appropriate conditions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Bulletin of the EATCS
دوره 60 شماره
صفحات -
تاریخ انتشار 1996